#include "lib3.h"
#include "lib1/lib1.h"
#include "lib2/lib2.h"

void print_max_int(int A[], int n) {
  if (n == 0) return;
  int max = A[0];
  for (int i = 1; i < n; ++i) {
    max = max_int(max, A[i]); 
  }
  my_print(max);
}


